Rosalie Iemhoff: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Consequence Relations and Admissible Rules

Iemhoff, Rosalie

Journal:

Journal of Philosophical Logic

Year:

2016

Language:

english

File:

PDF, 400 KB

english, 2016

2

The Basic Intuitionistic Logic of Proofs

Sergei Artemov and Rosalie Iemhoff

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 993 KB

english, 2007

3

A(nother) characterization of intuitionistic propositional logic

Rosalie Iemhoff

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 123 KB

english, 2001

4

On the rules of intermediate logics

Rosalie Iemhoff

Journal:

Archive for Mathematical Logic

Year:

2006

Language:

english

File:

PDF, 234 KB

english, 2006

5

Gentzen Calculi for the Existence Predicate

Matthias Baaz, Rosalie Iemhoff

Journal:

Year:

2006

Language:

english

File:

PDF, 270 KB

english, 2006

6

On Skolemization in constructive theories

Baaz, Matthias, Iemhoff, Rosalie

Journal:

Journal of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 1.77 MB

english, 2008

7

UNIFICATION IN INTERMEDIATE LOGICS

IEMHOFF, ROSALIE, ROZIÈRE, PAUL

Journal:

Journal of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 207 KB

english, 2015

8

Preservativity logic: An analogue of interpretability logic for constructive theories

Rosalie Iemhoff

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 305 KB

english, 2003

9

Proof theory for admissible rules

Rosalie Iemhoff, George Metcalfe

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 887 KB

english, 2009

10

The eskolemization of universal quantifiers

Rosalie Iemhoff

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

11

Kripke models for subtheories ofCZF

Rosalie Iemhoff

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 237 KB

english, 2010

12

The Skolemization of existential quantifiers in intuitionistic logic

Matthias Baaz, Rosalie Iemhoff

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 436 KB

english, 2006

13

On unification and admissible rules in Gabbay–de Jongh logics

Goudsmit, Jeroen P., Iemhoff, Rosalie

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 376 KB

english, 2014

14

On Skolemization in Constructive Theories

Matthias Baaz and Rosalie Iemhoff

Journal:

Journal of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 2.07 MB

english, 2008

15

On the Admissible Rules of Intuitionistic Propositional Logic

Rosalie Iemhoff

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 300 KB

english, 2001

16

The basic intuitionistic logic of proofs

Artemov, Sergei, Iemhoff, Rosalie

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 855 KB

english, 2007

17

On Rules

Iemhoff, Rosalie

Journal:

Journal of Philosophical Logic

Year:

2015

Language:

english

File:

PDF, 281 KB

english, 2015

18

Submodels of Kripke Modelsby Albert Visser

Review by: Rosalie Iemhoff

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 138 KB

english, 2002

19

STABLE CANONICAL RULES

BEZHANISHVILI, GURAM, BEZHANISHVILI, NICK, IEMHOFF, ROSALIE

Journal:

Journal of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 359 KB

english, 2016

20

Skolemization in intermediate logics with the finite model property

Baaz, Matthias, Iemhoff, Rosalie

Journal:

Logic Journal of IGPL

Year:

2016

Language:

english

File:

PDF, 184 KB

english, 2016

21

Cut-Elimination in Classical and Nonclassical Logic || Gentzen Calculi for the Existence Predicate

Matthias Baaz and Rosalie Iemhoff

Journal:

Year:

2006

Language:

english

File:

PDF, 1.51 MB

english, 2006

22

A Syntactic Approach to Unification in Transitive Reflexive Modal Logics

Iemhoff, Rosalie

Journal:

Notre Dame Journal of Formal Logic

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

23

Special Issue on Admissible Rules and Unification

Iemhoff, Rosalie, Metcalfe, George

Journal:

Notre Dame Journal of Formal Logic

Year:

2016

Language:

english

File:

PDF, 128 KB

english, 2016

24

Structural completeness in propositional logics of dependence

Rosalie Iemhoff,Fan Yang

Journal:

Archive for Mathematical Logic

Year:

2016

Language:

english

File:

PDF, 543 KB

english, 2016

25

Uniform interpolation and sequent calculi in modal logic

Iemhoff, Rosalie

Journal:

Archive for Mathematical Logic

Year:

2018

Language:

english

File:

PDF, 552 KB

english, 2018

26

Intermediate Logics and Visser's Rules

Iemhoff, Rosalie

Journal:

Notre Dame Journal of Formal Logic

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

27

Terminating sequent calculi for two intuitionistic modal logics

Iemhoff, Rosalie

Journal:

Journal of Logic and Computation

Year:

2018

Language:

english

File:

PDF, 475 KB

english, 2018

28

Mathematical Logic: Proof Theory, Constructive Mathematics

Buss, Samuel, Iemhoff, Rosalie, Kohlenbach, Ulrich, Rathjen, Michael

Journal:

Oberwolfach Reports

Year:

2018

Language:

english

File:

PDF, 572 KB

english, 2018

29

The Skolemization of prenex formulas in intermediate logics

Iemhoff, Rosalie

Journal:

Indagationes Mathematicae

Year:

2019

Language:

english

File:

PDF, 358 KB

english, 2019

30

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Modal Logics of Finite Direct Powers of $$\omega $$ Have the Finite Model Property

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 244 KB

english, 2019

31

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || A Framework for Distributional Formal Semantics

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 895 KB

english, 2019

32

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || A Representation Theorem for Finite Gödel Algebras with Operators

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 360 KB

english, 2019

33

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || On Combinatorial Proofs for Logics of Relevance and Entailment

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 1.03 MB

english, 2019

34

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 460 KB

english, 2019

35

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || A Case for Property-Type Semantics

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 369 KB

english, 2019

36

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Descriptive Complexity of Deterministic Polylogarithmic Time

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 320 KB

english, 2019

37

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Note on Globally Sound Analytic Calculi for Quantifier Macros

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 262 KB

english, 2019

38

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || The One-Variable Fragment of Corsi Logic

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 307 KB

english, 2019

39

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Bar-Hillel Theorem Mechanization in Coq

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 458 KB

english, 2019

40

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Rigid First-Order Hybrid Logic

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 340 KB

english, 2019

41

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Substructural Propositional Dynamic Logics

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 418 KB

english, 2019

42

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 523 KB

english, 2019

43

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Non Normal Logics: Semantic Analysis and Proof Theory

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 444 KB

english, 2019

44

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || An Infinitary Treatment of Full Mu-Calculus

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 454 KB

english, 2019

45

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Reverse Mathematics and Computability Theory of Domain Theory

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 485 KB

english, 2019

46

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || SIXTEEN $$_3$$ in Light of Routley Stars

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 351 KB

english, 2019

47

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Knowledge Without Complete Certainty

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 292 KB

english, 2019

48

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Subset Models for Justification Logic

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 317 KB

english, 2019

49

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || A Case for Property-Type Semantics

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

File:

PDF, 369 KB

2019

50

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 11541 (26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings) || Analytic Calculi for Monadic PNmatrices

Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy

Year:

2019

Language:

english

File:

PDF, 414 KB

english, 2019